- 2 402 202 книги
#1
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Tiziana Margaria, Bernhard SteffenКатегория: Компьютеры
13.00 Mb
#2
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
Charles Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba
5.39 Mb
#3
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Tiziana Margaria, Bernhard Steffen
8.98 Mb
#4
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Tiziana Margaria, Bernhard Steffen
9.82 Mb
#5
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Tiziana Margaria, Bernhard Steffen
13.99 Mb
#6
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
Margaria, Tiziana; Steffen, BernhardКатегория: Cs_Computer science, CsLn_Lecture notes
8.96 Mb
#7
Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95
Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
2.30 Mb
#8
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Tiziana Margaria, Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
3.60 Mb
#9
Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001
Tiziana Margaria, Wang YiКатегория: Cs_Computer science, CsLn_Lecture notes
4.55 Mb
#10
Software Process Improvement, 14 conf., EuroSPI 2007
Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard MessnarzКатегория: CsLn_
3.00 Mb
#11
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard MessnarzКатегория: Computer Science, Computer Science
5.15 Mb
#12
Fundamental Approaches to Software Engineering
Michel Wermelinger, Tiziana Margaria-SteffenКатегория: Computer Science, Software Engineering
7.19 Mb
#13
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga
6.59 Mb
#14
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga
7.31 Mb
